Mathias Péron

Développeur expert chez MathWorks

me joindre - curriculum vitæ

Je travaille sur l'analyse statique de programmes numériques, en particulier sur l'analyse du contenu des tableaux.
J'enseigne principalement la compilation, le génie logiciel et la programmation notamment avec le langage ocaml.

recherche - enseignement - séminaires

Par ailleurs, je prends un peu de temps pour militer à Amnesty International.

quelques liens - amnesty

Chacun allait se retrouver dans un univers à la mesure de l'acuité des ses sens naturels, de la longueur de ses membres, de la force de ses muscles...

Barjavel, “Ravage”